A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·1h·
Discuss: Hacker News
🔗Lisp
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·5h
🔗Topological Sorting
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·36m·
Discuss: DEV
🦀Rust Macros
Balance between refactoring and inheritance in your code
github.com·1h·
Discuss: Hacker News
✅Format Verification
Death to Type Classes
jappie.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Algebraic Types are not Scary
blog.aiono.dev·3h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Quiz: What Does -> Mean in Python Function Definitions?
realpython.com·1h
🔤Type Theory
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·18h·
Discuss: Hacker News
💻Programming languages
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·16h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
ISO C++ committee has a new chief sheep herder
shape-of-code.com·15h
📜Proof Carrying Code
I built an LLM from Scratch in Rust (Just ndarray and rand)
reddit.com·21h·
Discuss: r/rust
🦀Rust Borrowing
OTW - Bandit Level 4 to Level 5
tbhaxor.com·8h
🔧KAITAI
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·3d
🔗Concatenative Programming
Object Reorientation: Generic Functions
gigamonkeys.com·4d·
Discuss: Hacker News
🔗Lisp
Gambit: An efficient implementation of the Scheme programming language
github.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Introducing: A Go package to reduce err boilerplate
dev.to·1d·
Discuss: DEV
🐚Shell Monads
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·21h·
Discuss: Hacker News, r/LLM, r/rust
🦀Rust Macros
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
💧Liquid Types
HugeTracker Part 6: Subpatterns
gbstudiocentral.com·38m
🎛️Audio Synthesis
My Lobsters Interview
susam.net·3d
⚙️Proof Engineering